Black-Box Conformance Testing for Real-Time Systems
نویسندگان
چکیده
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We argue that such a model is essential for ease of modeling and expressiveness of specifications. The conformance relation is a timed extension of the inputoutput conformance relation of [29]. We argue that it is better suited for testing than previously considered relations such as bisimulation, must/may preorder or trace inclusion. We propose algorithms to generate two types of tests for this setting: analog-clock tests which measure dense time precisely and digital-clock tests which measure time with a periodic clock. The latter are essential for implementability, since only finite-precision clocks are available in practice. We report on a prototype tool and a small case study.
منابع مشابه
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based on a sound and complete randomized online testing algorithm and is implemented using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the f...
متن کاملOnline Testing of Real- ime Systems Using UPPAAL
We present T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifi cations. We describe a sound and complete randomized online testing algorithm and how to implement it using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the formal implementa...
متن کاملTesting Real-Time Parameterized Systems
Testing is an important step in validation process of critical systems. Black box testing consists in verifying that the system conforms to the behaviour of its model. In the case of realtime systems, temporal constraints have to be taken into account in test generation. In this paper we tackle the problem of conformance testing for parameterized Real-Time systems. introduced. Parameterized tim...
متن کاملA Rigorous Method for Testing Real-Time Reactive Systems
Real-time reactive systems are complex systems to design and verify. Rigorous testing of realtime reactive systems complement the more difficult and expensive formal verification process. This paper gives a rigorous method for black-box testing of real-time reactive systems whose design specifications are given in the Timed Reactive Object Model (TROM) formalism. 1 Introdu tion This paper discu...
متن کاملTesting Real-Time Systems Using UPPAAL
This chapter presents principles and techniques for modelbased black-box conformance testing of real-time systems using the Uppaal model-checking tool-suite. The basis for testing is given as a network of concurrent timed automata specified by the test engineer. Relativized input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking envi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004